21. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
پدیدآورنده : Johan Jeuring, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1422
22. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده : Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
23. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده : Dexter Kozen )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
24. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
25. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
پدیدآورنده : Dexter Kozen, editor
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
6
.
I5535
2004
26. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
27. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
28. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
